echo "svgColorNames.put(\""$1"\","\"$2"\");"
